Automatic theorem proving

[計] 自動定理證明

?? 詞語組成解析

automatic ['?t?'m?t?k]
adj. 自動的;不假思索的，無意識的;必然發生的; n. 自動化機器或設備;自動手槍;
autom=auto，autom自動+atic有...性質的 → 自動的；機械的
theorem ['θi?r?m]
n. [數] 定理;（能證明的）一般原理，公理，定律，法則;
theor考慮 + em獲得→考慮后獲得的結果 → n.[數]定理, 法則
proving
[計] 驗證, 證明\\n[醫] 藥力試驗(順勢療法的名詞)

??? 情景例句

with the school board,
和聯合校董會一起，
Rowrrf!
嘩！
They offered to pay $10 a pound for the biggest biscuit baked by a listener.
他們愿意以每磅10美元的價錢買下由聽眾烘制的最大的餅干。
更多情景英語 ›

?? 更多 A 開頭的單詞

accountancy ?'kaunt?nsi
adjudicate ?'d?u:dikeit
全部 A 開頭單詞 ›